Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 9 results. Subscribe to this search

|
Computability, complexity, logic / E. Bõrger Monografia Publication Amsterdam : North Holland, 1989 Description XX, 592 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Categorical logic and type theory / Bart Jacobs Monografia Publication Amsterdam : Elsevier, 1999 Description XVIII, 760 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Relation algebras by games / Robin Hirsch, Ian Hodkinson Monografia Publication Amsterdam : Elsevier, 2002 Description XVII, 691 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Topoi : the categorial analysis of logic / Robert Goldblatt Monografia Publication Amsterdam : North-Holland, imp. 1991 Description XVI, 551 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi Monografia Publication Amsterdam : North Holland, 1989 Description XVII, 668 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
Language in action : categories, lambdas and dynamic logic / Johan Van Benthem Monografia Publication Amsterdam : North-Holland, imp. 1994 Description X, 349 p. ; 23 cm + 1 adenda com 13 p. LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart
No cover image available
Equivalents of the axion of choice / Herman Rubin, Jean E. Rubin Monografia Publication Amsterdam : North Holland, 1985-19-- Description --v. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Place hold Add to cart
Handbook of proof theory / ed. Samuel R. Buss Monografia Publication Amsterdam : Elsevier, 1998 Description 811 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). Checked out (1).

Place hold Add to cart
Lectures on the curry-howard isomorphism / Morten Heine Sorensen, Pawel Urzyczyn Monografia Publication Boston, MA : Elsevier, 2006 Description XIV, 442 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart